Einar Broch Johnsen (eds.): tìm kiếm trên Z-Library

Truy cập tự do vào tri thức và văn hóa.

Don't use scam websites

Các bộ lọc được sử dun

Tìm chính xác từ

Tìm chính xác từ

Sách (11)
Phổ biến
- Sắp xếp theo×
- Phổ biến
- Phù hợp nhất
- Đangđược bổ sung
- Theo tên (A-Z)
- Theo tên (Z-A)
- Theo năm
- Kích thước file ↓
- Kích thước file ↑
Danh sách
- Danh sách
- Bảng

1

The Logic of Software. A Tasting Menu of Formal Methods

The Logic of Software. A Tasting Menu of Formal Methods

Wolfgang Ahrendt • Bernhard Beckert • Richard Bubel • Einar Broch Johnsen (Eds.)

Năm:

2022

Ngôn ngữ:

english

File:

PDF, 27.25 MB

0 / 4.0

english, 2022

2

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Springer International Publishing

Marco Bernardo, Einar Broch Johnsen (eds.)

Năm:

2015

Ngôn ngữ:

english

File:

PDF, 10.83 MB

0 / 0

english, 2015

3

Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings

Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings

Springer International Publishing

Sebastian Gabmeyer, Einar Broch Johnsen (eds.)

Năm:

2017

Ngôn ngữ:

english

File:

PDF, 8.10 MB

0 / 0

english, 2017

4

Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro (auth.), Wolfgang De Meuter, Gruia-Catalin Roman (eds.)

Năm:

2011

Ngôn ngữ:

english

File:

PDF, 3.01 MB

0 / 0

english, 2011

5

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Einar Broch Johnsen, Luigia Petre (eds.)

Năm:

2013

Ngôn ngữ:

english

File:

PDF, 7.94 MB

0 / 0

english, 2013

6

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Springer International Publishing

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)

Năm:

2014

Ngôn ngữ:

english

File:

PDF, 10.79 MB

0 / 0

english, 2014

7

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Springer International Publishing

Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen (eds.)

Năm:

2016

Ngôn ngữ:

english

File:

PDF, 14.27 MB

0 / 0

english, 2016

8

Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings

Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings

Springer International Publishing

Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski (eds.)

Năm:

2016

Ngôn ngữ:

english

File:

PDF, 21.46 MB

0 / 0

english, 2016

9

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida (auth.), Marcello M. Bonsangue, Einar Broch Johnsen (eds.)

Năm:

2007

Ngôn ngữ:

english

File:

PDF, 3.57 MB

0 / 0

english, 2007

10

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Springer International Publishing

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)

Năm:

2014

Ngôn ngữ:

english

File:

PDF, 8.06 MB

0 / 0

english, 2014

11

Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro (auth.), Wolfgang De Meuter, Gruia-Catalin Roman (eds.)

Năm:

2011

Ngôn ngữ:

english

File:

PDF, 2.78 MB

0 / 0

english, 2011